Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?
1

Model-Checking Linear-Time Properties of Quantum Systems

Année:
2014
Langue:
english
Fichier:
PDF, 359 KB
english, 2014
2

Linguistic quantifiers modeled by Sugeno integrals

Année:
2006
Langue:
english
Fichier:
PDF, 230 KB
english, 2006
3

Quantum computation, quantum theory and AI

Année:
2010
Langue:
english
Fichier:
PDF, 223 KB
english, 2010
4

On fundamentals of fuzzy logic and soft computing and some applications

Année:
2007
Langue:
english
Fichier:
PDF, 86 KB
english, 2007
5

Generalized Region Connection Calculus

Année:
2004
Langue:
english
Fichier:
PDF, 373 KB
english, 2004
6

Distinguishability of Quantum States by Separable Operations

Année:
2009
Langue:
english
Fichier:
PDF, 267 KB
english, 2009
9

An algebra of quantum processes

Année:
2009
Langue:
english
Fichier:
PDF, 248 KB
english, 2009
10

Approximate reasoning with linguistic modifiers

Année:
1998
Langue:
english
Fichier:
PDF, 127 KB
english, 1998
11

A new approach for fuzzy topology (III)

Année:
1993
Langue:
english
Fichier:
PDF, 667 KB
english, 1993
12

When is the ideal completion of abstract basis algebraic

Année:
1996
Langue:
english
Fichier:
PDF, 131 KB
english, 1996
13

Knowledge transformation and fusion in diagnostic systems

Année:
2005
Langue:
english
Fichier:
PDF, 351 KB
english, 2005
14

Reasoning about cardinal directions between extended objects

Année:
2010
Langue:
english
Fichier:
PDF, 1.30 MB
english, 2010
15

Region Connection Calculus: Its models and composition table

Année:
2003
Langue:
english
Fichier:
PDF, 300 KB
english, 2003
16

Wootters–Zurek quantum-copying machine: the higher-dimensional case

Année:
2002
Langue:
english
Fichier:
PDF, 76 KB
english, 2002
17

Characterizations of quantum automata

Année:
2004
Langue:
english
Fichier:
PDF, 242 KB
english, 2004
18

Quantum programming: From theories to implementations

Année:
2012
Langue:
english
Fichier:
PDF, 416 KB
english, 2012
19

Model checking quantum Markov chains

Année:
2013
Langue:
english
Fichier:
PDF, 357 KB
english, 2013
20

Termination of nondeterministic quantum programs

Année:
2014
Langue:
english
Fichier:
PDF, 285 KB
english, 2014
21

Four Locally Indistinguishable Ququad-Ququad Orthogonal Maximally Entangled States

Année:
2012
Langue:
english
Fichier:
PDF, 113 KB
english, 2012
25

Five two-qubit gates are necessary for implementing the Toffoli gate

Année:
2013
Langue:
english
Fichier:
PDF, 147 KB
english, 2013
26

Multiple-copy entanglement transformation and entanglement catalysis

Année:
2005
Langue:
english
Fichier:
PDF, 119 KB
english, 2005
28

SOME NOTES ON MULTIDIMENSIONAL FUZZY REASONING

Année:
1988
Langue:
english
Fichier:
PDF, 163 KB
english, 1988
29

Floyd--hoare logic for quantum programs

Année:
2011
Langue:
english
Fichier:
PDF, 569 KB
english, 2011
30

Symbolic Bisimulation for Quantum Processes

Année:
2014
Langue:
english
Fichier:
PDF, 1.23 MB
english, 2014
35

Approximate Reasoning Based on Similarity

Année:
2000
Langue:
english
Fichier:
PDF, 207 KB
english, 2000
36

Dealing with uncertainty and fuzziness in intelligent systems

Année:
2009
Langue:
english
Fichier:
PDF, 35 KB
english, 2009
37

Deduction Theorem for Many-Valued Inference

Année:
1991
Langue:
english
Fichier:
PDF, 206 KB
english, 1991
38

THE FUNDAMENTAL THEOREM OF ULTRAPRODUCT IN PAVELKA'S LOGIC

Année:
1992
Langue:
english
Fichier:
PDF, 242 KB
english, 1992
40

Fuzzy semilattices

Année:
1987
Langue:
english
Fichier:
PDF, 223 KB
english, 1987
41

Report from Jiangxi Province, People's Republic of China

Année:
1988
Langue:
english
Fichier:
PDF, 235 KB
english, 1988
42

On ϵ-fuzzy sets

Année:
1989
Langue:
english
Fichier:
PDF, 591 KB
english, 1989
43

A new approach for fuzzy topology (I)

Année:
1991
Langue:
english
Fichier:
PDF, 686 KB
english, 1991
44

Fuzzifying topology based on complete residuated lattice-valued logic (I)

Année:
1993
Langue:
english
Fichier:
PDF, 1.39 MB
english, 1993
45

Fuzzifying uniform spaces

Année:
1993
Langue:
english
Fichier:
PDF, 456 KB
english, 1993
46

On the method of neighborhood systems in fuzzy topology

Année:
1994
Langue:
english
Fichier:
PDF, 602 KB
english, 1994
47

Quantum operation, quantum Fourier transform and semi-definite programming

Année:
2004
Langue:
english
Fichier:
PDF, 209 KB
english, 2004
48

Comparability of multipartite entanglement

Année:
2004
Langue:
english
Fichier:
PDF, 120 KB
english, 2004
49

Local discrimination of maximally entangled states in canonical form

Année:
2004
Langue:
english
Fichier:
PDF, 83 KB
english, 2004
50

Unambiguous discrimination of mixed quantum states

Année:
2006
Langue:
english
Fichier:
PDF, 155 KB
english, 2006